more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 3809

[filed under theme 5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic ]

Full Idea

If you think you need a rule to infer q from 'p and (if p then q)', then you would also need a rule to infer p from p.

Gist of Idea

If complex logic requires rules, then so does basic logic

Source

John Searle (Rationality in Action [2001], Ch.1.II)

Book Ref

Searle,John R.: 'Rationality in Action' [MIT 2001], p.19